Charlemagne was the king of Franks.